Content-Level Conformance Testing: An Information Mapping Case Study
نویسندگان
چکیده
Content-level conformance testing is a key to achieving interoperable data exchange among applications deployed across collaborating, yet independent enterprises. In this paper, we identify four types of content-level conformance tests to support interoperable data exchange: documentverification tests, information-mapping tests, transaction-behavior tests, and scenario-based tests. We describe in substantial detail our experience with information-mapping tests within an industrial B2B integration effort. We review different approaches to information-mapping conformance verification including logical consistency checking, human-computer interaction, and event-based checking. We adopt the human-computer interaction approach and describe a test-case generation methodology. The methodology details modeling, test requirements specification, abstract test-case definition, and, ultimately, executable test-case generation. Lastly, we provide experimental results of applying our methodology in the context of an automotive industry development of data exchange standard for interoperable inventory visibility applications.
منابع مشابه
Information Mapping Conformance Test Tools
Data exchange standards frequently contain ambiguity and, consequently, have the potential for differing interpretations. Because of this, conformance and interoperability testing capabilities are increasingly important to enable and maintain correct information exchange between e-business partners. Typically, testing of e-business systems is based on an architecture that identifies key modular...
متن کاملConformance Testing of Corba Services Using Tree and Tabular Combined Notation
This paper presents a formal approach to conformance testing of CORBAbased distributed services using TTCN framework. It discusses mapping of CORBA IDL to TTCN, concentrating on the obstacles and the design issues to be considered. The paper overviews the architecture of the CORBA/TTCN gateway, which acts as an intermediary between test environment and system under test (SUT). It goes through a...
متن کاملSymbolic Bounded Conformance Checking of Model Programs
Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of deciding if the set of traces allowed by one model program forms a subset of the set of traces allowed by another model program. This is a foundational problem in the context of model-based testing, where one model program corre...
متن کاملWCAG 1.0 versus WCAG 2.0 Web Accessibility Compliance: A Case Study
Most e-governments have been using the WCAG 1.0 guidelines as reference to probe their compliance to web accessibility principles. This was reflected in their local accessibility policies, website design, maintenance, and accessibility testing activities. Recently, WCAG 2.0 emerged as an ISO/IEC 40500:2012 International accessibility standard that has been recommended for adoption by the W3C WA...
متن کاملConformance Testing With State Mapping
This work considers conformance testing (functional testing). The main distinction from the other works is the availability of mapping from implementation states to specification ones. This information allows us to simplify test development and to reduce test execution time. We introduce a novel implementation relation called conff and composite test suites. The conff relation minimizes the siz...
متن کامل